Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make ids consistent with file names #491

Merged
merged 1 commit into from
Dec 17, 2024
Merged

Conversation

laurensWe
Copy link
Member

@laurensWe laurensWe commented Dec 17, 2024

Beschrijf jouw aanpassingen

This fixes a bug in the Task Registry which cannot find aia-26 and aia-27 which cannot be found
Resolves #490

Checklist before requesting a review

  • Ik heb de contributing guidelines van deze repository gelezen en gevolgd.
  • Ik heb mijn aanpassingen gecheckt op spelfouten.
  • Als ik gebruik heb gemaakt van links, dan heb ik gecheckt of deze werken.
  • Ik heb gebruik gemaakt van de templates en formats van het algoritmekader.

@laurensWe laurensWe requested a review from ruthkoole as a code owner December 17, 2024 12:52
@laurensWe laurensWe linked an issue Dec 17, 2024 that may be closed by this pull request
Copy link

github-actions bot commented Dec 17, 2024

PR Preview Action v1.4.8
Preview removed because the pull request was closed.
2024-12-17 13:08 UTC

Copy link
Collaborator

@noutvandeijck noutvandeijck left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Er gaat inderdaad af en toe nog wat fout met nummering @laurensWe, omdat we hier en daar nu (niet vaak) vereisten samenvoegen / verwijderen. Omdat we nu zo veel aan het mergen zijn dezer dagen, hebben we bedacht niet steeds direct de nummering te fixen, maar dit in één keer te controleren en fixes door te voeren. Waarschijnlijk morgenmiddag / donderdagochtend..

Alsnog heel fijn dat jij deze alvast hebt gefixt!! Dank :)

@ravimeijerrig ravimeijerrig merged commit 543d679 into main Dec 17, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Dubbele id's aia
3 participants